$\vdash$  $\forall$$x$,$y$:Atom. $x$ =a $y$ $\in$ $\mathbb{B}$